Scalable Stochastic Modelling for Resilience
نویسندگان
چکیده
This chapter summarises techniques that are suitable for performance and resilience modelling and analysis of massive stochastic systems. We will introduce scalable techniques that can be applied to models constructed using DTMCs and CTMCs as well as compositional formalisms such as stochastic automata networks, stochastic process algebras and queueing networks. We will briefly show how techniques such as mean value analysis, mean-field analysis, symbolic data structures and fluid analysis can be used to analyse massive models specifically for resilience in networks, communication and computer architectures.
منابع مشابه
Application of Stochastic Optimal Control, Game Theory and Information Fusion for Cyber Defense Modelling
The present paper addresses an effective cyber defense model by applying information fusion based game theoretical approaches. In the present paper, we are trying to improve previous models by applying stochastic optimal control and robust optimization techniques. Jump processes are applied to model different and complex situations in cyber games. Applying jump processes we propose some m...
متن کاملMeasurement and Modelling of the Rubber Resilience based on Ultrasonic Non-destructive Testing in Tires
In tire industry, it is very crucial to evaluate physical and mechanical properties of the rubber which is used for production of the tire, to ensure the quality of the final product. Resilience is an important property of a rubber, which cannot be evaluated through direct measurement in production cycle in this industry. Therefore, non-destructive ultrasonic testing, which has been used in man...
متن کاملModelling and Decision-making on Deteriorating Production Systems using Stochastic Dynamic Programming Approach
This study aimed at presenting a method for formulating optimal production, repair and replacement policies. The system was based on the production rate of defective parts and machine repairs and then was set up to optimize maintenance activities and related costs. The machine is either repaired or replaced. The machine is changed completely in the replacement process, but the productio...
متن کاملDeveloping the Next Generation Scalable Exascale Uncertainty Quantification Methods
Predictive modeling of multiscale and multiphysics systems requires accurate data-driven characterization of the input uncertainties and understanding how they propagate across scales and alter the final solution. We will address three major current limitations in modeling stochastic systems: (1) Most of current uncertainty quantification methods cannot detect and handle discontinuity in the pa...
متن کاملModelling Resilient Systems-of-Systems in Event-B
Ensuring resilience – the ability to remain dependable in dynamic environment – constitutes a major challenge for engineering systems-of-systems (SoS). In this paper, we take a mission-centric view on the behaviour of SoS and demonstrate how to formally reason about their dependability. We use Event-B as our modelling framework and demonstrate how to formally specify and verify generic system-w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012